机译:电子钱包Mondex:使用Alloy模型查找方法进行规格和完善检查
机译:使用RAISE对Mondex电子钱包进行规格,证明和模型检查
机译:使用KIV验证Mondex电子钱包:从交易到安全协议
机译:Mondex挑战:机器检查了电子钱包的证明
机译:从面向对象的规范到实现:正式的改进方法。
机译:ECAP与MAC相结合的SPD法加工6061铝合金的晶粒细化机理研究
机译:使用RaIsE对mondex电子钱包进行规格,校对和模型检查
机译:VDm中mONDEX电子钱包的建模与改进